3.1818 \(\int \frac{\sqrt{1-2 x}}{(2+3 x)^3 (3+5 x)} \, dx\)

Optimal. Leaf size=95 \[ \frac{69 \sqrt{1-2 x}}{14 (3 x+2)}+\frac{\sqrt{1-2 x}}{2 (3 x+2)^2}+\frac{793}{7} \sqrt{\frac{3}{7}} \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )-10 \sqrt{55} \tanh ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right ) \]

[Out]

Sqrt[1 - 2*x]/(2*(2 + 3*x)^2) + (69*Sqrt[1 - 2*x])/(14*(2 + 3*x)) + (793*Sqrt[3/
7]*ArcTanh[Sqrt[3/7]*Sqrt[1 - 2*x]])/7 - 10*Sqrt[55]*ArcTanh[Sqrt[5/11]*Sqrt[1 -
2*x]]

_______________________________________________________________________________________

Rubi [A]  time = 0.180311, antiderivative size = 95, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 5, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.208 \[ \frac{69 \sqrt{1-2 x}}{14 (3 x+2)}+\frac{\sqrt{1-2 x}}{2 (3 x+2)^2}+\frac{793}{7} \sqrt{\frac{3}{7}} \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )-10 \sqrt{55} \tanh ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right ) \]

Antiderivative was successfully verified.

[In]  Int[Sqrt[1 - 2*x]/((2 + 3*x)^3*(3 + 5*x)),x]

[Out]

Sqrt[1 - 2*x]/(2*(2 + 3*x)^2) + (69*Sqrt[1 - 2*x])/(14*(2 + 3*x)) + (793*Sqrt[3/
7]*ArcTanh[Sqrt[3/7]*Sqrt[1 - 2*x]])/7 - 10*Sqrt[55]*ArcTanh[Sqrt[5/11]*Sqrt[1 -
2*x]]

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 21.2317, size = 80, normalized size = 0.84 \[ \frac{69 \sqrt{- 2 x + 1}}{14 \left (3 x + 2\right )} + \frac{\sqrt{- 2 x + 1}}{2 \left (3 x + 2\right )^{2}} + \frac{793 \sqrt{21} \operatorname{atanh}{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} \right )}}{49} - 10 \sqrt{55} \operatorname{atanh}{\left (\frac{\sqrt{55} \sqrt{- 2 x + 1}}{11} \right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((1-2*x)**(1/2)/(2+3*x)**3/(3+5*x),x)

[Out]

69*sqrt(-2*x + 1)/(14*(3*x + 2)) + sqrt(-2*x + 1)/(2*(3*x + 2)**2) + 793*sqrt(21
)*atanh(sqrt(21)*sqrt(-2*x + 1)/7)/49 - 10*sqrt(55)*atanh(sqrt(55)*sqrt(-2*x + 1
)/11)

_______________________________________________________________________________________

Mathematica [A]  time = 0.135402, size = 80, normalized size = 0.84 \[ \frac{\sqrt{1-2 x} (207 x+145)}{14 (3 x+2)^2}+\frac{793}{7} \sqrt{\frac{3}{7}} \tanh ^{-1}\left (\sqrt{\frac{3}{7}} \sqrt{1-2 x}\right )-10 \sqrt{55} \tanh ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right ) \]

Antiderivative was successfully verified.

[In]  Integrate[Sqrt[1 - 2*x]/((2 + 3*x)^3*(3 + 5*x)),x]

[Out]

(Sqrt[1 - 2*x]*(145 + 207*x))/(14*(2 + 3*x)^2) + (793*Sqrt[3/7]*ArcTanh[Sqrt[3/7
]*Sqrt[1 - 2*x]])/7 - 10*Sqrt[55]*ArcTanh[Sqrt[5/11]*Sqrt[1 - 2*x]]

_______________________________________________________________________________________

Maple [A]  time = 0.017, size = 66, normalized size = 0.7 \[ -18\,{\frac{1}{ \left ( -4-6\,x \right ) ^{2}} \left ({\frac{23\, \left ( 1-2\,x \right ) ^{3/2}}{14}}-{\frac{71\,\sqrt{1-2\,x}}{18}} \right ) }+{\frac{793\,\sqrt{21}}{49}{\it Artanh} \left ({\frac{\sqrt{21}}{7}\sqrt{1-2\,x}} \right ) }-10\,{\it Artanh} \left ( 1/11\,\sqrt{55}\sqrt{1-2\,x} \right ) \sqrt{55} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((1-2*x)^(1/2)/(2+3*x)^3/(3+5*x),x)

[Out]

-18*(23/14*(1-2*x)^(3/2)-71/18*(1-2*x)^(1/2))/(-4-6*x)^2+793/49*arctanh(1/7*21^(
1/2)*(1-2*x)^(1/2))*21^(1/2)-10*arctanh(1/11*55^(1/2)*(1-2*x)^(1/2))*55^(1/2)

_______________________________________________________________________________________

Maxima [A]  time = 1.50263, size = 149, normalized size = 1.57 \[ 5 \, \sqrt{55} \log \left (-\frac{\sqrt{55} - 5 \, \sqrt{-2 \, x + 1}}{\sqrt{55} + 5 \, \sqrt{-2 \, x + 1}}\right ) - \frac{793}{98} \, \sqrt{21} \log \left (-\frac{\sqrt{21} - 3 \, \sqrt{-2 \, x + 1}}{\sqrt{21} + 3 \, \sqrt{-2 \, x + 1}}\right ) - \frac{207 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} - 497 \, \sqrt{-2 \, x + 1}}{7 \,{\left (9 \,{\left (2 \, x - 1\right )}^{2} + 84 \, x + 7\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(-2*x + 1)/((5*x + 3)*(3*x + 2)^3),x, algorithm="maxima")

[Out]

5*sqrt(55)*log(-(sqrt(55) - 5*sqrt(-2*x + 1))/(sqrt(55) + 5*sqrt(-2*x + 1))) - 7
93/98*sqrt(21)*log(-(sqrt(21) - 3*sqrt(-2*x + 1))/(sqrt(21) + 3*sqrt(-2*x + 1)))
- 1/7*(207*(-2*x + 1)^(3/2) - 497*sqrt(-2*x + 1))/(9*(2*x - 1)^2 + 84*x + 7)

_______________________________________________________________________________________

Fricas [A]  time = 0.219053, size = 166, normalized size = 1.75 \[ \frac{\sqrt{7}{\left (70 \, \sqrt{55} \sqrt{7}{\left (9 \, x^{2} + 12 \, x + 4\right )} \log \left (\frac{5 \, x + \sqrt{55} \sqrt{-2 \, x + 1} - 8}{5 \, x + 3}\right ) + 793 \, \sqrt{3}{\left (9 \, x^{2} + 12 \, x + 4\right )} \log \left (\frac{\sqrt{7}{\left (3 \, x - 5\right )} - 7 \, \sqrt{3} \sqrt{-2 \, x + 1}}{3 \, x + 2}\right ) + \sqrt{7}{\left (207 \, x + 145\right )} \sqrt{-2 \, x + 1}\right )}}{98 \,{\left (9 \, x^{2} + 12 \, x + 4\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(-2*x + 1)/((5*x + 3)*(3*x + 2)^3),x, algorithm="fricas")

[Out]

1/98*sqrt(7)*(70*sqrt(55)*sqrt(7)*(9*x^2 + 12*x + 4)*log((5*x + sqrt(55)*sqrt(-2
*x + 1) - 8)/(5*x + 3)) + 793*sqrt(3)*(9*x^2 + 12*x + 4)*log((sqrt(7)*(3*x - 5)
- 7*sqrt(3)*sqrt(-2*x + 1))/(3*x + 2)) + sqrt(7)*(207*x + 145)*sqrt(-2*x + 1))/(
9*x^2 + 12*x + 4)

_______________________________________________________________________________________

Sympy [A]  time = 56.9448, size = 369, normalized size = 3.88 \[ 132 \left (\begin{cases} \frac{\sqrt{21} \left (- \frac{\log{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} - 1 \right )}}{4} + \frac{\log{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} + 1 \right )}}{4} - \frac{1}{4 \left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} + 1\right )} - \frac{1}{4 \left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} - 1\right )}\right )}{147} & \text{for}\: x \leq \frac{1}{2} \wedge x > - \frac{2}{3} \end{cases}\right ) - 56 \left (\begin{cases} \frac{\sqrt{21} \left (\frac{3 \log{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} - 1 \right )}}{16} - \frac{3 \log{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} + 1 \right )}}{16} + \frac{3}{16 \left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} + 1\right )} + \frac{1}{16 \left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} + 1\right )^{2}} + \frac{3}{16 \left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} - 1\right )} - \frac{1}{16 \left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} - 1\right )^{2}}\right )}{1029} & \text{for}\: x \leq \frac{1}{2} \wedge x > - \frac{2}{3} \end{cases}\right ) - 330 \left (\begin{cases} - \frac{\sqrt{21} \operatorname{acoth}{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} \right )}}{21} & \text{for}\: - 2 x + 1 > \frac{7}{3} \\- \frac{\sqrt{21} \operatorname{atanh}{\left (\frac{\sqrt{21} \sqrt{- 2 x + 1}}{7} \right )}}{21} & \text{for}\: - 2 x + 1 < \frac{7}{3} \end{cases}\right ) + 550 \left (\begin{cases} - \frac{\sqrt{55} \operatorname{acoth}{\left (\frac{\sqrt{55} \sqrt{- 2 x + 1}}{11} \right )}}{55} & \text{for}\: - 2 x + 1 > \frac{11}{5} \\- \frac{\sqrt{55} \operatorname{atanh}{\left (\frac{\sqrt{55} \sqrt{- 2 x + 1}}{11} \right )}}{55} & \text{for}\: - 2 x + 1 < \frac{11}{5} \end{cases}\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((1-2*x)**(1/2)/(2+3*x)**3/(3+5*x),x)

[Out]

132*Piecewise((sqrt(21)*(-log(sqrt(21)*sqrt(-2*x + 1)/7 - 1)/4 + log(sqrt(21)*sq
rt(-2*x + 1)/7 + 1)/4 - 1/(4*(sqrt(21)*sqrt(-2*x + 1)/7 + 1)) - 1/(4*(sqrt(21)*s
qrt(-2*x + 1)/7 - 1)))/147, (x <= 1/2) & (x > -2/3))) - 56*Piecewise((sqrt(21)*(
3*log(sqrt(21)*sqrt(-2*x + 1)/7 - 1)/16 - 3*log(sqrt(21)*sqrt(-2*x + 1)/7 + 1)/1
6 + 3/(16*(sqrt(21)*sqrt(-2*x + 1)/7 + 1)) + 1/(16*(sqrt(21)*sqrt(-2*x + 1)/7 +
1)**2) + 3/(16*(sqrt(21)*sqrt(-2*x + 1)/7 - 1)) - 1/(16*(sqrt(21)*sqrt(-2*x + 1)
/7 - 1)**2))/1029, (x <= 1/2) & (x > -2/3))) - 330*Piecewise((-sqrt(21)*acoth(sq
rt(21)*sqrt(-2*x + 1)/7)/21, -2*x + 1 > 7/3), (-sqrt(21)*atanh(sqrt(21)*sqrt(-2*
x + 1)/7)/21, -2*x + 1 < 7/3)) + 550*Piecewise((-sqrt(55)*acoth(sqrt(55)*sqrt(-2
*x + 1)/11)/55, -2*x + 1 > 11/5), (-sqrt(55)*atanh(sqrt(55)*sqrt(-2*x + 1)/11)/5
5, -2*x + 1 < 11/5))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.217315, size = 144, normalized size = 1.52 \[ 5 \, \sqrt{55}{\rm ln}\left (\frac{{\left | -2 \, \sqrt{55} + 10 \, \sqrt{-2 \, x + 1} \right |}}{2 \,{\left (\sqrt{55} + 5 \, \sqrt{-2 \, x + 1}\right )}}\right ) - \frac{793}{98} \, \sqrt{21}{\rm ln}\left (\frac{{\left | -2 \, \sqrt{21} + 6 \, \sqrt{-2 \, x + 1} \right |}}{2 \,{\left (\sqrt{21} + 3 \, \sqrt{-2 \, x + 1}\right )}}\right ) - \frac{207 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} - 497 \, \sqrt{-2 \, x + 1}}{28 \,{\left (3 \, x + 2\right )}^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(-2*x + 1)/((5*x + 3)*(3*x + 2)^3),x, algorithm="giac")

[Out]

5*sqrt(55)*ln(1/2*abs(-2*sqrt(55) + 10*sqrt(-2*x + 1))/(sqrt(55) + 5*sqrt(-2*x +
1))) - 793/98*sqrt(21)*ln(1/2*abs(-2*sqrt(21) + 6*sqrt(-2*x + 1))/(sqrt(21) + 3
*sqrt(-2*x + 1))) - 1/28*(207*(-2*x + 1)^(3/2) - 497*sqrt(-2*x + 1))/(3*x + 2)^2